Kimchi Day 2023: Introduction